home *** CD-ROM | disk | FTP | other *** search
/ AmigActive 24 / AACD 24.iso / AACD / Programming / proof.lib / AACDdownloadedfrom next >
Encoding:
Text File  |  2001-08-03  |  80 b   |  2 lines
  1. http://www.scouts.org.au/steeplesoftware/download/proof_library/prooflibrary28.
  2.